Modelling and Discrete-event Simulation of Complex Systems Using Rainbow
نویسندگان
چکیده
This paper describes a modelling language –Rainbowbased on Coloured Petri Nets, which was designed for modelling and simulation of complex systems. The formalism uses Java as the net annotating language. The timing model permits different policies to be associated with places which affect the token binding process. A graphical tool was achieved in Java which supports editing, debugging and simulation of CPN models. Large models can be simulated on top of a Time Warp based distributed executor. The practical use of Rainbow is demonstrated through a scalable simulation model.
منابع مشابه
Determination of optimum of production rate of network failure prone manufacturing systems with perishable items using discrete event simulation and Taguchi design of experiment
This paper, considers Network Failure Manufacturing System (NFPMS) and production control policy of unreliable multi-machines, multi-products with perishable items. The production control policy is based on the Hedging Point Policy (HPP). The important point in the simulation of this system is assumed that the customers who receive perishable item are placed in priority queue of the customers w...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملAppointment process of open-heart surgery in Shahid Rajaei Heart Hospital using a discrete event simulation approach
Background: The waiting list is a list of selected patients in the surgical queue. If demand exceeds capacity, the waiting list grows rapidly, which may lead to unacceptable waiting for patients, especially those in need of acute medical care. Patients waiting for heart surgery are placed on the waiting list for surgery, and sometimes the waiting time is longer than patients expect. Reducing th...
متن کاملOptimal design of supply chain network under uncertainty environment using hybrid analytical and simulation modeling approach
Models that aim to optimize the design of supply chain networks have gained more interest in the supply chain literature. Mixed-integer linear programming and discrete-event simulation are widely used for such an optimization problem. We present a hybrid approach to support decisions for supply chain network design using a combination of analytical and discrete-event simulation models. The prop...
متن کامل